2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Foundations of Security Analysis and Design V: FOSAD 2008 2009 Tutorial Lectures (Lecture Notes in Computer Science Security and Cryptology)
Автор:
Alessandro Aldini
, Автор:
Gilles Barthe
, Автор:
Roberto Gorrieri
Категория:
Компьютеры
Размер книги: 3.31 Mb
Foundations of Security Analysis and Design V: FOSAD 2008 2009 Tutorial Lectures (Lecture Notes in Computer Science Security and Cryptology)
Автор:
Alessandro Aldini
, Автор:
Gilles Barthe
, Автор:
Roberto Gorrieri
Категория:
Компьютеры
Размер книги: 5.45 Mb
Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ... Programming and Software Engineering)
Автор:
Alessandro Aldini
, Автор:
Marco Bernardo
, Автор:
Alessandra Di Pierro
, Автор:
Herbert Wiklicky
Категория:
Компьютеры
Размер книги: 1.53 Mb
Foundations of Security Analysis and Design VI
Автор:
Alessandro Aldini
, Автор:
Roberto Gorrieri
Размер книги: 3.64 Mb
Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings ... Programming and Software Engineering)
Автор:
Alessandro Aldini
, Автор:
Marco Bernardo
, Автор:
Luciano Bononi
, Автор:
Vittorio Cortellessa
Размер книги: 4.60 Mb
Formal methods for quantitative aspects of programming languages : 10th International School on Formal Methods for the Desing of Computer, Communication and Software Systems, SFM 2010 Bertinoro, Italy, June 21-26, 2010 :advanced lectures
Автор:
Alessandro Aldini; et al
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 1.65 Mb
Foundations of Security Analysis and Design 3 conf., FOSAD 2004-2005 Tutorial Lectures
Автор:
Alessandro Aldini
, Автор:
Roberto Gorrieri
, Автор:
Fabio Martinelli
Категория:
CsLn_
Размер книги: 2.56 Mb
A Process Algebraic Approach to Software Architecture Design
Автор:
Alessandro Aldini
, Автор:
Marco Bernardo
, Автор:
Flavio Corradini
Размер книги: 2.60 Mb
A Process Algebraic Approach to Software Architecture Design
Автор:
Alessandro Aldini
, Автор:
Marco Bernardo
, Автор:
Flavio Corradini
Размер книги: 2.49 Mb
Foundations of Security Analysis and Design: FOSAD 2006/2007 Turtorial Lectures
Автор:
Alessandro Aldini
, Автор:
Roberto Gorrieri
Размер книги: 4.33 Mb